// Generated from C:\antlrprojects\logica_proposicional\logprop.g4 by ANTLR 4.1
package dpll.parser;
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;

@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
public class logpropLexer extends Lexer {
	protected static final DFA[] _decisionToDFA;
	protected static final PredictionContextCache _sharedContextCache =
		new PredictionContextCache();
	public static final int
		PUNTOCOMA=1, PARIZ=2, PARDE=3, NO=4, Y=5, O=6, SI=7, SISOLOSI=8, BOOLEANO=9, 
		LITERAL=10, WS=11;
	public static String[] modeNames = {
		"DEFAULT_MODE"
	};

	public static final String[] tokenNames = {
		"<INVALID>",
		"';'", "'('", "')'", "NO", "Y", "O", "SI", "SISOLOSI", "BOOLEANO", "LITERAL", 
		"WS"
	};
	public static final String[] ruleNames = {
		"PUNTOCOMA", "PARIZ", "PARDE", "NO", "Y", "O", "SI", "SISOLOSI", "BOOLEANO", 
		"LITERAL", "WS"
	};


	public logpropLexer(CharStream input) {
		super(input);
		_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
	}

	@Override
	public String getGrammarFileName() { return "logprop.g4"; }

	@Override
	public String[] getTokenNames() { return tokenNames; }

	@Override
	public String[] getRuleNames() { return ruleNames; }

	@Override
	public String[] getModeNames() { return modeNames; }

	@Override
	public ATN getATN() { return _ATN; }

	@Override
	public void action(RuleContext _localctx, int ruleIndex, int actionIndex) {
		switch (ruleIndex) {
		case 10: WS_action((RuleContext)_localctx, actionIndex); break;
		}
	}
	private void WS_action(RuleContext _localctx, int actionIndex) {
		switch (actionIndex) {
		case 0: skip();  break;
		}
	}

	public static final String _serializedATN =
		"\3\uacf5\uee8c\u4f5d\u8b0d\u4a45\u78bd\u1b2f\u3378\2\rc\b\1\4\2\t\2\4"+
		"\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t"+
		"\13\4\f\t\f\3\2\3\2\3\3\3\3\3\4\3\4\3\5\3\5\3\5\3\5\5\5$\n\5\3\6\3\6\3"+
		"\7\3\7\3\b\3\b\3\b\3\b\5\b.\n\b\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3"+
		"\t\3\t\3\t\3\t\3\t\3\t\3\t\5\t@\n\t\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3"+
		"\n\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3\n\5\nT\n\n\3\13\3\13\7\13X\n\13\f"+
		"\13\16\13[\13\13\3\f\6\f^\n\f\r\f\16\f_\3\f\3\f\2\r\3\3\1\5\4\1\7\5\1"+
		"\t\6\1\13\7\1\r\b\1\17\t\1\21\n\1\23\13\1\25\f\1\27\r\2\3\2\7\4\2[[{{"+
		"\4\2QQqq\4\2C\\c|\5\2\62;C\\c|\5\2\13\f\17\17\"\"j\2\3\3\2\2\2\2\5\3\2"+
		"\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21"+
		"\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3\2\2\2\3\31\3\2\2\2\5\33\3\2"+
		"\2\2\7\35\3\2\2\2\t#\3\2\2\2\13%\3\2\2\2\r\'\3\2\2\2\17-\3\2\2\2\21?\3"+
		"\2\2\2\23S\3\2\2\2\25U\3\2\2\2\27]\3\2\2\2\31\32\7=\2\2\32\4\3\2\2\2\33"+
		"\34\7*\2\2\34\6\3\2\2\2\35\36\7+\2\2\36\b\3\2\2\2\37 \7p\2\2 $\7q\2\2"+
		"!\"\7P\2\2\"$\7Q\2\2#\37\3\2\2\2#!\3\2\2\2$\n\3\2\2\2%&\t\2\2\2&\f\3\2"+
		"\2\2\'(\t\3\2\2(\16\3\2\2\2)*\7u\2\2*.\7k\2\2+,\7U\2\2,.\7K\2\2-)\3\2"+
		"\2\2-+\3\2\2\2.\20\3\2\2\2/\60\7u\2\2\60\61\7k\2\2\61\62\7u\2\2\62\63"+
		"\7q\2\2\63\64\7n\2\2\64\65\7q\2\2\65\66\7u\2\2\66@\7k\2\2\678\7U\2\28"+
		"9\7K\2\29:\7U\2\2:;\7Q\2\2;<\7N\2\2<=\7Q\2\2=>\7U\2\2>@\7K\2\2?/\3\2\2"+
		"\2?\67\3\2\2\2@\22\3\2\2\2AB\7v\2\2BC\7t\2\2CD\7w\2\2DT\7g\2\2EF\7V\2"+
		"\2FG\7T\2\2GH\7W\2\2HT\7G\2\2IJ\7h\2\2JK\7c\2\2KL\7n\2\2LM\7u\2\2MT\7"+
		"g\2\2NO\7H\2\2OP\7C\2\2PQ\7N\2\2QR\7U\2\2RT\7G\2\2SA\3\2\2\2SE\3\2\2\2"+
		"SI\3\2\2\2SN\3\2\2\2T\24\3\2\2\2UY\t\4\2\2VX\t\5\2\2WV\3\2\2\2X[\3\2\2"+
		"\2YW\3\2\2\2YZ\3\2\2\2Z\26\3\2\2\2[Y\3\2\2\2\\^\t\6\2\2]\\\3\2\2\2^_\3"+
		"\2\2\2_]\3\2\2\2_`\3\2\2\2`a\3\2\2\2ab\b\f\2\2b\30\3\2\2\2\t\2#-?SY_";
	public static final ATN _ATN =
		ATNSimulator.deserialize(_serializedATN.toCharArray());
	static {
		_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
		for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
			_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
		}
	}
}